$\forall$$P$:($\mathbb{N}\rightarrow\mathbb{P}$), $d$:($\forall$$n$:$\mathbb{N}$. Dec($P$($n$))).
\\[0ex]($\exists$$n$:$\mathbb{N}$. $P$($n$)) $\Rightarrow$ \{$P$(mu($d$)) \& ($\forall$$i$:$\mathbb{N}$. ($i$ $<$ mu($d$)) $\Rightarrow$ ($\neg$$P$($i$)))\}